@InProceedings{herman79,
  author =	"D. Herman and J. P. Verius",
  title =	"An Algorithm for Maintaining the Consistency of Multiple Copies",
  pages =	"625--631",
  booktitle =	"Proceedings of the 1st International Conference on Distributed Computing Systems",
  year = 	"1979",
  publisher =	"IEEE Computer Society",
  address =	"Washington, DC",
}

@Article{lamport78,
  author =	"L. Lamport",
  title =	"Time, Clocks, and the Ordering of Events in a Distributed System",
  journal =	"Communications of the ACM",
  year = 	"1978",
  volume =	"21",
  number =	"7",
  month =	jul,
  pages =	"558--565",
}

@Article{chandy85,
  author =	"M. Chandy and L. Lamport",
  title =	"Distributed snapshots: determining global states of distributed systems",
  journal =	"Transactions on Computer Systems",
  volume =	"3",
  number =	"1",
  pages =	"63--75",
  year = 	"1985",
}
